منابع مشابه
Introduction to Subject Area 'Charts'
The subject area ‘Charts’ groups together those projects that study visual specification formalisms or charts. Visual formalisms promise to support the use of formal methods in the engineering process of (embedded) software systems by being high-level languages that are equipped with a formal semantics in the elementary formalisms like temporal logic or finite state machines. The use of chart l...
متن کاملIntroduction to Subject Area "Verification"
Over the last two decades the use of software in technical applications has dramatically increased. Almost all real-world systems are now embedded systems consisting of hardware and software components. Just think of modern automobiles; every new car comes equipped with computers that have many tasks in almost all parts of the car: fuel injection rates of the engine, airbags, anti-blocking syst...
متن کاملEducation Sciences Subject Area Group: Subject-Specific Competences
A first preliminary remark will relate to the relevance of European Union education policies for both educationand teacher education studies. Education and training have become priorities of policies of the Council of the European Union within the framework of more comprehensive economic and social policies (cf. Lisbon process). Strategic objectives for the development of education and training...
متن کاملThe Concept of 'subject' in Information Science
This article presents a theoretical investigation of the concept of 'subject' or 'subject matter' in library and information science. Most conceptions of 'subject' in the literature are not explicit but implicit. Various indexing and classification theories, including automatic indexing and citation indexing, have their own more or less implicit concepts of subject. This fact puts the emphasis ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Socio-Economic Research Bulletin
سال: 2015
ISSN: 2313-4569
DOI: 10.33987/vsed.3(58).2015.18-23